A functional-dynamic reflection on participatory processes in modeling projects
نویسندگان
چکیده
منابع مشابه
Modeling Dynamic Processes in TLA
The formal development method of VSE (Veriication Support Environment) for state-based systems is based on a variant of TLA. VSE supports structured speciications, modular reenements, and also modular proofs. There are applications where one wants (or has) to consider an indeenite number of processes or even processes that are created and deleted dynamically. The general problem that arises in ...
متن کاملA Reflection on Why Large Public Projects Fail
Kjetil Holgeid Cambridge Judge Business School University of Cambridge UK [email protected] Dr. Mark Thompson Cambridge Judge Business School University of Cambridge UK [email protected] Kjetil Holgeid is a senior management consultant. He has extensive experience from mega project delivery. He earned his Executive MBA degree from University of Cambridge, Cambridge Judge Business...
متن کاملModeling Dynamic Regulatory Processes in Stroke
The ability to examine the behavior of biological systems in silico has the potential to greatly accelerate the pace of discovery in diseases, such as stroke, where in vivo analysis is time intensive and costly. In this paper we describe an approach for in silico examination of responses of the blood transcriptome to neuroprotective agents and subsequent stroke through the development of dynami...
متن کاملModeling Actions in Dynamic Engineering Design Processes
The paper presents the approach for modeling actions in the dynamic processes of engineering design in Microelectronics and Integrated Circuits domain. It elaborates the formal framework for representing processes, the states of these processes and process environments, the actions being the constituents of the processes. Presented framework is implemented as the part of PSI Suite of Ontologies...
متن کاملModeling Dynamic Engineering Design Processes in PSI
One way to make engineering design effective and efficient is to make its processes flexible – i.e. self-adjusting, self-configuring, and selfoptimizing at run time. The paper presents the descriptive part of the Dynamic Engineering Design Process (DEDP) modeling framework developed in PSI1 project. The project aims to build a software tool assisting managers to analyze and enhance the producti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ambio
سال: 2015
ISSN: 0044-7447,1654-7209
DOI: 10.1007/s13280-015-0670-8